23. Developing safety systems: A guide using Ada
پدیدآورنده : Ian C. Pyle
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Ada )computer program language(,Computer software- Reliability,System safety,Computer software- Development
رده :
005
.
133
P996D
24. Developing safety systems a guide using Ada
پدیدآورنده : Pyle, Ian C., 4391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Ada )Computer program language(,، Computer software -- Reliability,، System safety,، Computer software -- Development
رده :
QA
76
.
73
.
A35
P95
25. High integrity software: the Spark approach to safety and security
پدیدآورنده : Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003
26. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
27. The traditional problem of evil: suffering and evil actions -- Another problem of evil: divine hiddenness -- Miracles as a problem of evil -- The ignorance defense -- Identifying, interpreting, and certifying revelation -- Should God's power be understood as omnipotence? -- A process Christian theism and the problems of evil. 0
پدیدآورنده : James A. Keller.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
